Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
211	Loop fusion in Haskell Roman Leshchinskiy Programming Languages and Systems Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-10-22 08:41:49 Computer programming Map Fold Filter Haskell Haskell 98 features Standard ML Software engineering Higher-order functions Computing
212	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing
213	Syst. Biol. 57(5):758–771, 2008 Copyright c Society of Systematic Biologists ISSN: [removed]print[removed]836X online Add to Reading List Source URL: sysbio.oxfordjournals.org Language: English Phylogenetics Maximum parsimony Bootstrapping Sequence alignment .ml Resampling Standard ML Statistics Computational phylogenetics Statistical inference
214	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory
215	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2005-09-18 16:08:18 Type theory Data types Aspect-oriented software development Aspect-oriented programming Procedural programming languages Standard ML Type system Type inference Generalized algebraic data type Software engineering Computing Software development
216	Signatures for a Network Protocol Stack: A Systems Application of Standard ML Edoardo Biagioni Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2010-06-30 12:53:15 Computer networking OSI protocols Network protocols Internet standards Internet protocol suite Transmission Control Protocol OSI model Internet Protocol Communications protocol Computing Data Network architecture
217	shift/reset 23 Add to Reading List Source URL: pllab.is.ocha.ac.jp Language: English - Date: 2011-09-23 03:42:06 Functional languages Continuations Control flow Delimited continuation Standard ML Reset OCaml Caml Computing Software engineering Computer programming
218	Notes on Programming Standard ML of New Jersey (version[removed]) Add to Reading List Source URL: www2.iiia.csic.es Language: English - Date: 2003-02-18 06:13:38 Procedural programming languages Functional languages Standard ML of New Jersey Standard ML ML ALGOL 68 Primitive data type Continuation Functional programming Software engineering Computing Computer programming
219	On Evaluation Contexts, Continuations, and the Rest of the Computation Olivier Danvy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:11 Control flow Continuations Functional programming Type theory Functional languages Eval Standard ML Defunctionalization Delimited continuation Software engineering Computing Computer programming
220	Programming in Standard ML ’97: A Tutorial Introduction Stephen Gilmore Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:56:42 Functional languages Type theory Procedural programming languages Data types Functional programming Standard ML ML Applicative programming language Programming language Software engineering Computing Computer programming

UPDATE